Experimental Mathematics publishes formal results and conjectures inspired by experimentation, algorithms and software for mathematical exploration, and related surveys.